This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics.

Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of the attempts in the literature to define attacks in terms of defeasible proofs, the so-called rule-based (...) systems. We also provide a number of examples and consider a rigorous case study, which indicate that our system does not suffer from anomalies. We define consequence relations based on a notion of defeat, consider rationality postulates, and prove that one such consequence relation is consistent. (shrink)

The target article criticises neural-symbolic systems as inadequate for analogical reasoning and proposes a model of analogy as transformation (i.e., learning). We accept the importance of learning, but we argue that, instead of conflicting, integrated reasoning and learning would model analogy much more adequately. In this new perspective, modern neural-symbolic systems become the natural candidates for modelling analogy.

Formal models of argumentation have been investigated in several areas, from multi-agent systems and artificial intelligence (AI) to decision making, philosophy and law. In artificial intelligence, logic-based models have been the standard for the representation of argumentative reasoning. More recently, the standard logic-based models have been shown equivalent to standard connectionist models. This has created a new line of research where (i) neural networks can be used as a parallel computational model for argumentation and (ii) neural networks can be used (...) to combine argumentation, quantitative reasoning and statistical learning. At the same time, non-standard logic models of argumentation started to emerge. In this paper, we propose a connectionist cognitive model of argumentation that accounts for both standard and non-standard forms of argumentation. The model is shown to be an adequate framework for dealing with standard and non-standard argumentation, including joint-attacks, argument support, ordered attacks, disjunctive attacks, meta-level attacks, self-defeating attacks, argument accrual and uncertainty. We show that the neural cognitive approach offers an adequate way of modelling all of these different aspects of argumentation. We have applied the framework to the modelling of a public prosecution charging decision as part of a real legal decision making case study containing many of the above aspects of argumentation. The results show that the model can be a useful tool in the analysis of legal decision making, including the analysis of what-if questions and the analysis of alternative conclusions. The approach opens up two new perspectives in the short-term: the use of neural networks for computing prevailing arguments efficiently through the propagation in parallel of neuronal activations, and the use of the same networks to evolve the structure of the argumentation network through learning (e.g. to learn the strength of arguments from data). (shrink)

Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it? -/- The authors address this question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This (...) book is the first to offer a self-contained presentation of neural network models for a number of computer science logics, including modal, temporal, and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neural-symbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities. -/- The book will be invaluable reading for academic researchers, graduate students, and senior undergraduates in computer science, artificial intelligence, machine learning, cognitive science and engineering. It will also be of interest to computational logicians, and professional specialists on applications of cognitive, hybrid and artificial intelligence systems. (shrink)

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...) normative contexts. (shrink)

Dans les « Deux dogmes», Quine voulait démontrer que le positivisme logique n’était possible qu’en raison d’hypothèses injustifiées. L’intention de Quine était de montrer qu’il n’est possible de sauver l’empirisme que si l’on accepte une autre approche, holistique. Toutefois, l’article de Quine était anachronique dès le moment de sa publication. Le but de cet article est double. Tout d’abord, on esquissera l’argument de Quine et on le confrontera aux positions de Carnap et Dubislav. On montrera que la critique de Quine (...) était en retard d’au moins 15 ans. En deuxième lieu, on examinera le postulat de Quine de l’empirisme sans dogmes et on comparera brièvement à la théorie de Poznański et Wundheiler. On soutiendra que ce postulat avait été réalisé déjà dans les années 1930. (shrink)

Mozambique has seen remarkable growth in biomedical research over the last decade. To meet a growing need, the National Committee for Bioethics in Health of Mozambique encouraged the development of ethical review processes at institutions that regularly conduct medical and social science research. In 2012, the Faculty of Medicine of University Eduardo Mondlane and the Maputo Central Hospital established a joint Institutional Committee on Bioethics for Health. This study examines the experience of the first 4 years of the CIBS FM (...) & MCH. This study provides a descriptive, retrospective analysis of research protocols submitted to and approved by the CIBS FM & MCH between March 1, 2013 and December 31, 2016, together with an analysis of the Committee’s respective reviews and actions. A total of 356 protocols were submitted for review during the period under analysis, with 309 protocols approved. Sixty-four percent were submitted by students, faculty, and researchers from UEM, mainly related to Master’s degree research. Descriptive cross-sectional studies were the most frequently reviewed research. The majority were prospective and used quantitative methodologies. The Departments of Internal Medicine at MCH and Community Health at the FM submitted the most protocols from their respective institutions, with 38 and 53% respectively. The CIBS’s average time to final approval for all protocols was 56 days, rising to 161 for the 40 protocols that required subsequent national-level review by the CNBS. Our results show that over its first 4 years, the CIBS FM & MCH has been successful in managing a constant demand for protocol review and that several broad quality improvement initiatives, such as investigator mentoring and an electronic protocol submission platform have improved efficiency in the review process and the overall quality of the protocols submitted. Beyond Maputo, long-term investments in training and ethical capacity building for CIBS across the country continue to be needed, as Mozambique develops greater capacity for research and makes progress toward improving the health of all its citizens. (shrink)

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

Dans la philosophie contemporaine, la mémoire n’est plus un instrument qui apprend des évènements de manière passive. Ici, on parlera de la mémoire qu’une personne possède quand elle se souvient de sa propre vie ou d’un moment spécifique. Ce concept, un des plus anciens de la psychologie cognitive, s’appelle mémoire autobiographique. Grâce à cette pertinente interprétation d’un concept plus vivant de mémoire dans la science, la littérature et la philosophie de notre temps, on se demandera si, à travers son activité, (...) elle est dépendante d’un concept d’une temporalité linéaire ou si en fait sa vivacité lui permet de créer un temps propre. Quelques auteurs ont essayé de répondre à ce problème-là et ici on traitera de trois: Henri Bergson, Bertrand Russell et John Campbell, ce dernier étant un philosophe contemporain, en essayant d’établir les liens parmi les trois, avec pour but la mise de lumière des questions et des réponses qui ont survécu la mort des deux premiers auteurs mentionnés. À travers cette recherche, on se rendra compte que si le concept de mémoire était auparavant plus spécifiquement étudié toujours en connexion avec le concept d’image, dans la tradition analytique elle de plus en plus est mise à coté de la notion moderne d’identité personnelle. Toutefois, ce qui reste commun est l’effort de penser le souvenir au delà de la vie pratique; notamment en tant qu’une faculté psychique qui oriente tous nos choix et notre appréhension du monde et qui toujours semble échapper la dualité schématique entre circularité et linéarité temporelle, déjà mise en question dans les années 1990. (shrink)

The article aims at analyzing the case of Beppe Grillo and his Five Stars Movement in terms of social, cultural and linguistic phenomenon that – initially as a virtual party without a structured organization – seems to conquer both right-wing and left-wing Italian citizens notwithstanding generational and ideological differences. The success of grillini in the parliamentary election of 2018 as a consequence of Matteo Renzi’s constitutional referendum failure, represents a clear sign of the leadership crisis as well as the drifting (...) apart of the ruling class that ignored the problems of ordinary people for several years. The analysis is focused on both form and content: on the one hand, the artistic expression characteristic of Grillo, his gestures, mimicry and direct language plenty of verbal hyperboles, rhetorical figures, swearwords and blasphemous obscenities that build his uncompromising charisma, on the other modern technologies and social media that are used to communicate efficiently with the electorate, create an image of an open-minded politician keeping up with the outer world. All the aforementioned circumstances demonstrate an innovative approach based on political communication that devolves some level of decision-making power to the party supporters being active web users: bloggers and influencers at the same time. Such paradigm is followed by other representatives of the Italian political scene nowadays. (shrink)

Julia Kristeva's Teresa, My Love: An Imagined Life of the Saint of Avila confronts us with the contemporary problem of violent forms of fundamentalism, especially Islamic, as it recreates the life of Saint Theresa. The novel's psychoanalytic perspective engages our emotions and sensations, and is also therapeutic for author and reader. But most of all, it engages our thinking and deals in depth with this compelling, timely issue.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Solitude: A Philosophical EncounterRobert D. CottrellSolitude: A Philosophical Encounter, by Philip Koch; xiv & 375 pp. La Salle, Illinois: Open Court, 1994, $39.95 cloth, $17.95 paper.A professor of philosophy at the University of Prince Edward Island (an attractively solitary spot, I should imagine), Philip Koch divides his book into two parts, asking in Part I: what is solitude? and in Part II: what role does solitude play in (...) our lives? At the beginning of his inquiry, Koch identifies two primary modes of human experience: solitude, the core definition of which is social disengagement, and encounter, that is to say, interaction with others. Both are essential for human completion; indeed, the inescapable link between solitude and encounter is illustrated in the book’s full title, which contains both words. Still, in today’s society solitude is probably less understood and appreciated than encounter, for we tend to stress the supposed primacy of relationships and bonds. Calling himself a partisan of solitude, Koch sets out to correct the imbalance he discerns between solitude and encounter by focusing on how solitude (different, he insists, from loneliness, isolation, privacy, or alienation) contributes to our physical, moral, and emotional well-being.Koch is a philosopher; he defines his terms and then, as he moves along, makes subtle distinctions in his original definitions, rendering each term ever more precise and accurate. Conscious of the slippage of meaning that often occurs in language and of the mischief that can be caused by using terms improperly, Koch points out how Tillich (p. 164) and Mijuskovic (p. 173) go astray by gliding confusedly from one term to another, the result being that their arguments drift into muddle. Koch’s own thinking is pellucidly clear. The major part of his book is a discussion of the value of solitude. He identifies five primary virtues linked to solitude: freedom, attunement to self, attunement to nature, reflective perspective, and creativity. After discussing each of the virtues, Koch answers the objections that have been raised throughout the centuries to the claims he has made for the positive tole of solitude in our lives.Ranging over the whole history of human thought, Koch draws on a vast array of writers, including Tao Tze, Plotinus, Seneca, Augustine, Petrarch, Saint Teresa of Avila, Meister Eckhart, Montaigne, Descartes (always a key figure in any discussion of the evolution of Western thought), Goethe, Wordsworth, Hugo, Emerson, Thoreau, Dickinson, Whitman, Proust, Lawrence, Rilke, Sartre, Eiseley, Woolf, and Sarton. A meticulously learned book, Solitude is also a deeply meditative and an intensely personal one. In this, it resembles the work of Montaigne and of Loren Eiseley, where philosophical or (in the case of Eiseley) scientific knowledge is inseparable from imaginative vision; inseparable, too, from the distinctive voice of the author, for Koch, like Montaigne and Eiseley, moves easily from meditation to recollection, recounting moments of joy or sorrow in his own life. Even Koch’s prose bears some resemblance to that of Montaigne or Eiseley for, like theirs, it vibrates with the peculiarly poetic [End Page 155] intensity that a great writer can find in plain, unadorned speech. Indeed, what remains with the reader of this book, beyond the philosophical arguments and the erudite explanations, relegated wisely to the footnotes at the back of the volume where they are available to serious students without intimidating casual readers, is the seductive charm of the author’s voice, the sense of being addressed directly and intimately. To encounter this marvelous book, written in solitude, read in solitude, is to move beyond solitude and to experience, in the strange way that only a good book can provide, intimacy with another mind, another spirit that is engaged—it, too—in the process of encountering other minds, other spirits.Robert D. CottrellOhio State UniversityCopyright © 1995 The Johns Hopkins University Press... (shrink)

This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of modal logic, intuitionistic logic, logic and language, nonmonotonic logic and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, (...) theorem proving and goal-directed reasoning. It will be invaluable reading for researchers and graduate students in logic and computer science, and a fabulous source of inspiration for research students in search of a topic for a PhD in logic and theoretical computer science. (shrink)

Einstein, in his “Zur Elektrodynamik bewegter Körper”, gave a physical (operational) meaning to “time” of a remote event in describing “motion” by introducing the concept of “synchronous stationary clocks located at different places”. But with regard to “place” in describing motion, he assumed without analysis the concept of a system of co-ordinates.In the present paper, we propose a way of giving physical (operational) meaning to the concepts of “place” and “co-ordinate system”, and show how the observer can define both the (...) place and time of a remote event. Following Einstein, we consider another system “in uniform motion of translation relatively to the former”. Without assuming “the properties of homogeneity which we attribute to space and time”, we show that the definitions of space and time in the two systems are linearly related. We deduce some novel consequences of our approach regarding faster-than-light observers and particles, “one-way” and “two-way” velocities of light, symmetry, the “group property” of inertial reference frames, length contraction and time dilatation, and the “twin paradox”. Finally, we point out a flaw in Einstein’s argument in the “Electrodynamical Part” of his paper and show that the Lorentz force formula and Einstein’s formula for transformation of field quantities are mutually consistent. We show that for faster-than-light bodies, a simple modification of Planck’s formula for mass suffices. (Except for the reference to Planck’s formula, we restrict ourselves to Physics of 1905.). (shrink)

Background: The offer of aggregate study results to research participants following study completion is increasingly accepted as a means of demonstrating greater respect for participants. The attitudes of research ethics board chairs towards this practice, although integral to policy development, are unknown.Objectives: To determine the attitudes of REB chairs and the practices of REBs with respect to disclosure of results to research participants.Design: A postal questionnaire was distributed to the chairs of English-language university-based REBs in Canada. In total, 88 REB (...) chairs were eligible. The questionnaire examined respondents’ attitudes towards offering participants completed study results, methods for delivering this information, and barriers to disclosing results.Findings: The response rate was 89.8%. Chairs were highly supportive of offering results to research participants. Only 19.5% of chairs responded that a policy or guideline that governed the return of research results to participants existed at their institution. Most chairs supported the idea of their REB instituting a set of guidelines recommending that researchers offer results to participants in a lay format. Chairs identified the major impediments to the implementation of programmes offering to return results to participants as being financial cost and retaining contact with research participants .Conclusions: University-based REB chairs overwhelmingly support the offer of research results to participants. This is incongruent with the frequent lack of existing REB guidelines recommending this practice. REBs should support guidelines that diminish identified barriers and promote consistency in offering to return results. (shrink)

An investigation into some of the literary features of the book of Malachi reveals that each unit is structured in a twofold way. The macrostructure of the book also shows that the book can be divided into two parts. The results of this investigation strengthens the recent trend in the research of Malachi that it is unlikely that the book underwent an extensive redactional process over a period of time and that it is rather more likely that the book was (...) written in a relatively short period of time. (shrink)

Eupolis’ fragmentary Demes has traditionally been placed in 412 bc, after the failure of the Sicilian Expedition but before the oligarchic coup of 411. Ian Storey has recently argued that the play belongs instead in 417 or perhaps 416 bc, while Mario Telò and Leone Porciani put it in 410 bc. This article demonstrates that both alternative dates face decisive objections, and suggests that Demes is better kept in 412 bc. I then briefly consider the role of late 5th-century Athenian (...) “political” comedy generally, and in particular the sort of popular sentiment that Eupolis’ comedy must have been exploiting or echoing when it was conceived in the first half of 413. (shrink)